441. Logic and computer science: lectures given at the 1st session of the Centro internazionale matematico estivo )C.I.M.E.( held at Montecatini Terme, Italy, June 20-28, 1988
Author: S. Homer...]et al.[; editor, P. Odifreddi
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: Congresses ، Logic, Symbolic and mathematical,Congresses ، Programming )Mathematics(,Congresses ، Computational complexity
Classification :
QA
3
.
L28
no
.
1429
442. Logic and computer science: lectures given at the 1st session of the Centro internazionale matematico estivo )C.I.M.E.( held at Montecatini Terme, Italy, June 20-28, 1988
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Logic, Symbolic and mathematical-- Congresses,، Programming )Mathematics(-- Congresses,، Computational complexity-- Congresses
Classification :
QA
3
.
L28
no
.
1429
443. Logic and its applications :
Author: Md. Aquil Khan, Amaldev Manuel (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic, Symbolic and mathematical, Congresses.,Logic, Symbolic and mathematical.
Classification :
QA9
.
A1
I24
2019eb
444. Logic and its applications :
Author: Kamal Lodaya (ed.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic, Symbolic and mathematical -- Congresses.,Logic.,MATHEMATICS -- Infinity.
Classification :
QA9
.
A1
K363
2013
445. Logic and philosophy of science in Uppsala :
Author: edited by Dag Prawitz, Dag Westerståhl.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic -- Congresses.,Science -- Methodology -- Congresses.,Science -- Philosophy -- Congresses.
Classification :
Q174
.
E358
1994
446. Logic and random structures
Author:
Library: Central Library of Esfehan University of Technology (Esfahan)
Subject: Computer science- Mathematics- Congresse►Logic, Symbolic and mathematical- Congresses
Classification :
76
.
9
.
M35
,
L6
447. Logic in computer science: proceedings: 16th Annual IEEE Symposium on Logic in Computer Science, 16-19 June 2001, Boston, Massachusetts
Author: sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: Mathematics - Congresses ، Computer science,Congresses ، Logic, Symbolic and mathematical
Classification :
QA
76
.
6
.
S9393
2001
448. MFDBS'89 : 2nd Symposium on Mathematical Fundamentals of Database Systems, Visegrad, Hungary, June 26-30, 1989 : Proceedings
Author: J. Demetrovics, B. Thalheim, eds
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Database management,Congresses ، Computer science -- Mathematics
Classification :
QA
76
.
L28
Vol
.
364
449. MFDBS 89: 2nd Symposium on Mathematical Fundamentals of Database Systems, Visegrad, Hungary, June 26-30, 1989: proceedings
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: Congresses ، Database management,Mathematics Congresses ، Computer science
Classification :
QA
76
.
9
.
D3
.
S975
1989
450. MFDBS 91 : 3rd Symposium on Mathematical Fundamentals of Database and Knowledge Base Systems, Rostock, Germany, May 6-9, 1991 : proceedings
Author: B. Thalheim, J. Demetrovics, H.-D. Gerhardt )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Database management,Congresses ، Expert systems )Computer science(,Congresses ، Computer science -- Mathematics
Classification :
QA
76
.
L28
Vol
.
495
451. MFDBS 91: 3rd Symposium on Mathematical Fundamentals of Database and Knowledge Base Systems, Rostock, Germany, May 6-9, 1991: proceedings
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: Congresses ، Database management,Congresses ، Expert systems )Computer science(,Mathematics Congresses ، Computer science
Classification :
QA
76
.
9
.
D3
.
S973
1991
452. Machines, Computations, and Universality
Author: \ Jérôme Durand-Lose , Benedek Nagy (Eds.)
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Computer science -- Congresses.,Computer multitasking -- Congresses,Computer science -- Mathematics -- Congresses.,علوم کامپیوتر -- کنگره‌ها ,چند وظیفه‌گی رایانه -- کنگره ها,علوم کامپیوتر -- ریاضیات -- کنگره‌ها
Classification :
QA
75
.
5
.
M32
2015
E-Book
,
453. Maple V:
Author: Robert J. Lopez, editor.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computerwiskunde.,Maple V.,Mathematics -- Congresses -- Data processing.
454. Maple V:
Author: Robert J. Lopez, editor.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computerwiskunde.,Maple V.,Mathematics -- Congresses -- Data processing.
455. Mathematical Foundations of Computer Science 2010
Author:
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Computer science -- Mathematics -- Congresses,Computer logic -- Congresses,علوم کامپیوتر -- ریاضیات -- کنگره‌ها,منطق کامپیوتری -- کنگره‌ها
Classification :
E-Book
,
456. Mathematical Foundations of Computer Science 2007
Author: \ Luděk Kučera, Antonín Kučera (eds.).
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Computer science -- Mathematics -- Congresses.,علوم کامپیوتر -- ریاضیات -- کنگره‌ها
Classification :
E-Book
,
457. Mathematical Foundations of Computer Science 2004
Author:
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Computer science -- Mathematics -- Congresses,Mathematical foundations,علوم کامپیوتر -- ریاضیات -- کنگره‌ها
Classification :
E-Book
,
458. Mathematical Foundations of Computer Science 2015
Author: \ Giuseppe F. Italiano , Giovanni Pighizzini, Donald T. Sannella (Eds.)
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Computer science -- Mathematics -- Congresses.,Computer science -- Mathematics.,علوم کامپیوتر -- ریاضیات -- کنگره‌ها ,علوم کامپیوتر -- ریاضیات
Classification :
QA
76
.
9
.
M32
2015
E-Book
,
459. Mathematical Foundations of Computer Science 1990
Author: / Rovan, B.
Library: Central library and document university of Kurdistan (Kurdistan)
Subject: Computer Science - Mathematics - Congresses
Classification :
QA76
.
9
.
M35S96
1660
460. Mathematical Foundations of Computer Science 2001
Author: \ Jiří Sgall, Aleš Pultr, Petr Kolman (eds.).
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Computer science -- Mathematics -- Congresses.,علوم کامپیوتر -- ریاضیات -- کنگره‌ها
Classification :
E-Book
,
